System programming - PDFSEARCH.IO - Document Search Engine

System programming
Results: 6665

#	Item
211	Exception Handling in Coordination-based Mobile Environments Alexei Iliasov University of Newcastle upon Tyne Newcastle upon Tyne, UK Add to Reading List Source URL: rodin.cs.ncl.ac.uk Language: English - Date: 2005-07-08 09:15:01 Parallel computing Concurrent programming languages Control flow Exception handling Tuple space Tuple Linda Multi-agent system
212	THE ENCODING OF CARTOGRAPHIC OBJECTS USING HBDS CONCEPTS Michael A. Domaratz United States Geological Survey 521 National Center Add to Reading List Source URL: mapcontext.com Language: English - Date: 2008-08-30 01:15:51 Object-oriented programming Cartography Geographic data and information Geography Geostatistics Spatial analysis Geographic information system Data model Hypergraph Spatial relation Object Object-based spatial database
213	Binary Compatibility of Shared Libraries Implemented in C++ on GNU/Linux Systems. Pavel Shved Institute for System Programming, RAS email: Add to Reading List Source URL: syrcose.ispras.ru Language: English - Date: 2009-06-01 08:17:59 C++ Method Virtual method table Backward compatibility Binary code compatibility Portable Executable Binary file Entry point Functional ASCII C dynamic memory allocation
214	Orwell A Configuration Management System Add to Reading List Source URL: www.davethomas.net Language: English - Date: 2012-06-06 13:04:06 Object-oriented programming languages Class Object-oriented programming Functional languages Smalltalk Scripting languages Class browser Self Objective-C Metaclass Computer programming JavaScript
215	VACANCY: SENIOR SOFTWARE DEVELOPER UPDATED: S-PLANE Automation (Pty) Ltd Automation Innovation S-PLANE is an internationally recognised aerospace and defence company specialising in product Add to Reading List Source URL: www.ee.sun.ac.za Language: English - Date: 2016-05-17 09:17:37 Unmanned aerial vehicles Avionics Robotics Wireless Automation System programming
216	A Framework for Component-based Construction Extended Abstract Joseph Sifakis VERIMAG Laboratory Centre Equation 2 avenue de Vignate, 38610 GIERES, France Add to Reading List Source URL: www-verimag.imag.fr Language: English - Date: 2012-12-31 04:25:31 Component-based software engineering Object-oriented programming Software architecture System
217	Introduction to the Guardol Programming Language and Verification System David Hardin∗ Konrad Slind∗ Add to Reading List Source URL: fm.csl.sri.com Language: English - Date: 2011-12-15 18:21:30 Logic in computer science Formal methods Procedural programming languages Constraint programming Satisfiability modulo theories Parameter Formal verification Scheme Logic programming ALGOL 68 Decompiler Standard ML
218	B.E. COMPUTER ENGINEERING THIRD YEAR SEMESTER VI SUBJECT: ADVANCED DATABASES Lectures: 3 Hrs per week Practical: 2 Hrs per week Add to Reading List Source URL: web.engr.illinois.edu Language: English - Date: 2010-09-20 15:32:21 Databases Unix Data model Operating system Concurrency control Object-oriented programming Concurrency Object-oriented design Index of software engineering articles
219	PLACES 2013 Programming Language Approaches to Communication- and Concurrency-cEntric Software (6th International Workshop) An ETAPS Satellite Event Add to Reading List Source URL: places13.di.fc.ul.pt Language: English - Date: 2014-02-12 06:01:38 Data types Procedural programming languages Software design patterns Data management Transaction processing Schedule Type system Const D ALGOL 68 Monad
220	Lightweight Session Programming in Scala∗ Alceste Scalas and Nobuko Yoshida Imperial College London, UK — {a.scalas , n.yoshida} @ imperial.ac.uk Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2016-05-09 14:09:08 Type theory Concurrent programming languages Object-oriented programming Polymorphism Data types Scala Covariance and contravariance Go Type system Type inference Subtyping Form

UPDATE